﻿using System;
using System.Collections.Generic;
using System.Text;

namespace HAVNet.Intros.AST
{
    public class ASTEmbStmtChecked : ASTEmbStmt
    {
        public ASTBlock block { get; set; }

        public override string ToString ()
        {
            return "checked " + block.ToString();
        }
    }
}
